The Epistemology of Nondeterminism
نویسنده
چکیده
This paper proposes new semantics for nondeterministic program execution, replacing the standard relational semantics for propositional dynamic logic (PDL). Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL) [1]. We show that DTL can be used to interpret the language of PDL in a manner that captures the intuition above, and moreover that continuous functions in this setting correspond exactly to deterministic processes. We also prove that certain axiomatizations of PDL remain sound and complete with respect to the corresponding classes of dynamic topological models. Finally, we extend the framework to incorporate knowledge using the machinery of subset space logic [2], and show that the topological interpretation of public announcements as given in [3] coincides exactly with a natural interpretation of test programs.
منابع مشابه
How DoesStrawson Unify Epistemology, Ontology and Logic
Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epis...
متن کاملModified Epistemology and Evidentalism
Justification and religious rationality constitutes one of the main issues of religious epistemology and enjoys a special place to day in the philosophy of religion. In response to the justification of religious belief there are various approaches one of which is modified epistemology which is propounded by creation well – known philosophers such as Alvin plantinga, Nicolas walterstorf etc. ...
متن کاملطراحی یادگیری مبتنی بر وب با تأکید بر معرفتشناسی سازندهگرایی
Current growth of philosophical and educational theories and computer technology has provided new forms of education in the world. Modern world has features such as communication, non-congruence, and flexibility. Therefore, web and other multimedia technologies are just information and application resources unless could provide learning field and content. The purpose of this study is reconstr...
متن کاملElement of justification in contemporary epistemology
The definition of propositional knowledge has been said to be: "knowledge is belief in justified truth" and belief, truth, and justified are necessary and adequate conditions in the actualization of knowledge. Many faults have been directed towards this three elemental definition, which some of them have been derived from the element of justification. This article reviews some of the most im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2018